Nuprl Lemma : atom-free-Id 0,22

i:Id. AtomFree(Id;i
latex


Definitionst  T, x:AB(x), Atom$n, AtomFree(T;x), Id
Lemmasatom-free-atom2

origin